function redireccionar(contrato){
    document.formulario.contrato.value = contrato;
    document.formulario.submit();
}

function cambiarEstado(nombre){
    var elemento = document.getElementsByName(nombre);
    elemento[0].disabled = !elemento[0].disabled;
}